Pipeline Information Modeling: A New Tool for Pipeline Engineering

Pipeline Engineering

Pipeline Modeling for Timing Analysis

In hard real-time systems, the worst-case execution times of programs must be known. Obtaining safe upper bounds for these times by measuring actual executions is rarely possible, since the worst case input is normally not known. We apply static program analysis methods to determine an upper bound for the WCET. While this approach is not new, we believe to be the first to have developed a tool ...

Engineering a high-performance SNP detection pipeline

We present Sprite, a bioinformatic data analysis pipeline for detecting single nucleotide polymorphisms (SNPs) in the human genome. A SNP detection pipeline for next-generation sequencing data uses several software tools, including tools for read preprocessing, read alignment, and SNP calling. We target end-to-end scalability and I/O efficiency in Sprite by merging tools in this pipeline and el...

Automating the 3D Modeling Pipeline

We describe advances in automating the 3D modeling pipeline to create rich 3D textured models. Our work is aimed at large scale site modeling, where much manual effort is often needed to create complete models. We present i) an automatic 2D-3D registration method for texture using cast shadows as a cue to refine the registration parameters, ii) methods for change detection in an acquired model,...

Simulation-based Modeling X1. the Modeling Pipeline

Simulation-based modeling means the generation of CAD models from simulation results. It is eecient to split this process into several steps, such as collection, triangulation, and segmentation of the data and surface reconstruction. The last step is solved by a physically based approach, which enables interaction intuitively, and we prove the existence and uniqueness of the solution for this c...